using System;
using Benchmarks;
using Microsoft.Pex.Framework;
using Microsoft.Pex.Framework.Using;

//[assembly: PexUseType(typeof(PublicType))]

namespace Benchmarks
{
    public interface IType
    {
        string Name { get; }
    }

    public class PublicType : IType
    {
        public PublicType()
        {
        }

        public string Name
        {
            get { return "public"; }
        }
    }

    public class PrivateType : IType
    {
        private static PrivateType instance = new PrivateType();

        private PrivateType()
        {
        }

        public IType Instance
        {
            get { return instance; }
        }

        public string Name
        {
            get { return "private"; }
        }
    }

    public class TestClass
    {
        private string name;

        public TestClass(string name)
        {
            this.name = name;
        }

        public bool CompareName(IType type)
        {
            return type.Name.Equals(name);
        }
    }

    [PexClass(typeof(TestClass))]
    public partial class MultipleClassCandidatesTest
    {
        [PexMethod]
        public void TestCompareName([PexAssumeUnderTest]TestClass a, IType type )
        {
            a.CompareName(type);
        }
    }
}